-
1 theor of proof
Большой англо-русский и русско-английский словарь > theor of proof
-
2 теория доказательства
Большой англо-русский и русско-английский словарь > теория доказательства
-
3 matrices
ˈmeɪtrɪsi:z матрицы absolutely matrices matrix ≈ абсолютно эквивалентные матрицы adjoint matrices matrix ≈ сопряженные матрицы biorthogonal matrices matrix ≈ биортогональные матрицы combinatorially equivalent matrices matrix ≈ комбинаторно эквивалентные матрицы commute matrices matrix ≈ коммутирующие матрицы comparable matrices matrix ≈ сравнимые матрицы conformable matrices matrix ≈ конформные матрицы (матрицы, у которых число столбцов одной равно числу строк другой) congruent matrices matrix ≈ конгруэнтные матрицы conjunctive matrices matrix ≈ конъюнктивные [эрмитово сопряженные] матрицы consistent matrices matrix ≈ состоятельные матрицы constituent matrices matrix ≈ сопутствующие матрицы counterorthogonal matrices matrix ≈ контрортогональные матрицы inconsistent matrices matrix ≈ несовместимые матрицы independent matrices matrix ≈ независимые матрицы kinematically similar matrices matrix ≈ кинематически подобные матрицы linearly dependent matrices matrix ≈ линейно зависимые матрицы matrices matrix which commute ≈ коммутирующие матрицы multiplicatively cogredient matrices matrix ≈ мультипликативно когредиентные матрицы mutually consistent matrices matrix ≈ взаимно состоятельные матрицы orthogonally equivalent matrices matrix ≈ ортогонально эквивалентные матрицы orthogonally similar matrices matrix ≈ ортогонально подобные матрицы representation of group in terms of matrices ≈ матричное представление группы ring of infinite matrices ≈ кольцо бесконечных матриц slightly intertwined matrices matrix ≈ слабо связанные матрицы strongly equivalent matrices matrix ≈ строго эквивалентные матрицы theor of positive matrices ≈ теория положительных матриц unitarily equivalent matrices matrix ≈ унитарно эквивалентные матрицы - equivalent matrices - field of matrices - pencil of matrices - product of matrices - proof by matrices - representation by matrices - similar matrices - sum of matrices - system of matrices - theor of matrices - unitary matrices pl от matrix matrices pl от matrixБольшой англо-русский и русско-английский словарь > matrices
См. также в других словарях:
Signalling theory — Within evolutionary biology, signalling theory refers to a body of theoretical work examining communication between individuals. The central question is when animals with conflicting interests should be expected to communicate honestly .… … Wikipedia
Koinophilia — is a term used in biology, meaning that when sexual creatures seek a mate, they prefer that mate not to have any unusual, peculiar or deviant features. Stated differently, sexual creatures prefer mates with a preponderance of common or average… … Wikipedia
Molecular nanotechnology — Part of a series of articles on Molecular Nanotechnology … Wikipedia
Francisco Antônio Dória — Francisco Antônio de Moraes Accioli Dória (born 1945, Rio de Janeiro, Brazil) is a Brazilian mathematician, philosopher, and noted genealogist. Francisco Antônio Dória received his B.S. in Chemical Engineering from the Federal University at Rio… … Wikipedia
Causal set theory bibliography — Main article: Causal Sets This Causal Set Theory Bibliography is intended to aid causal set research. It gathers together academic papers, books, talks and PhD theses related to causal set theory and is intended to help readers find references… … Wikipedia
Denotational semantics — In computer science, denotational semantics (initially known as mathematical semantics or Scott–Strachey semantics) is an approach to formalizing the meanings of programming languages by constructing mathematical objects (called denotations)… … Wikipedia
Many-worlds interpretation — The quantum mechanical Schrödinger s cat paradox according to the many worlds interpretation. In this interpretation every event is a branch point; the cat is both alive and dead, even before the box is opened, but the alive and dead cats are in… … Wikipedia
Post correspondence problem — The Post correspondence problem is an undecidable decision problem that was introduced by Emil Post in 1946.[1] Because it is simpler than the halting problem and the Entscheidungsproblem it is often used in proofs of undecidability. Contents 1… … Wikipedia
Quantum gravity — is the field of theoretical physics attempting to unify quantum mechanics, which describes three of the fundamental forces of nature (electromagnetism, weak interaction, and strong interaction), with general relativity, the theory of the fourth… … Wikipedia
Peter J. Freyd — is an American mathematician, a professor at the University of Pennsylvania, known for work in category theory. Mathematical workFreyd is perhaps best known as the author of the foundational book Abelian Categories: An Introduction to the Theory… … Wikipedia
Modified Newtonian dynamics — MOND redirects here. For other uses, see Mond. In physics, Modified Newtonian dynamics (MOND) is a hypothesis that proposes a modification of Newton s law of gravity to explain the galaxy rotation problem. When the uniform velocity of rotation of … Wikipedia